Section: New Software and Platforms

LoCa: Logical Causality Analyzer

Functional Description

Based on an execution trace, the component specifications, and a required property $P$, LoCA analyzes the causes of a violation of $P$ in a component-based system. LoCA currently supports causality analysis in BIP and networks of timed automata. The core analysis engine is implemented as an abstract class, such that support for other models of computation (MoC) can be added by instantiating the class with the basic operations of the MoC.

• Authors: Lacramioara Astefanoaei, Yoann Geoffroy, and Gregor Gössler.

• Contact: Gregor Gössler.